1. Advances in Materials Manufacturing Science & Technology XIII Volume II
Author: edited by Dongming Guo, Jun Wang, Zhenyuan Jia, Renke Kang, Hang Gao, and Xuyue Wang.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
2. Artificial intelligence and symbolic computation: 8th international conference, AISC 2006, Beijing, China, September 20-22, 2006: proceedings
Author: Jacques Calmet, Tetsuo Ida, Dongming Wang )eds.(
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
Classification :
Q
334
.
A766
2006
3. Artificial intelligence and symbolic computation : 8th international conference, AISC 2006 Beijing, China, September 20-22, 2006 : proceedings
Author: Jacques Calmet, Tetsuo Ida, Dongming Wang )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
4120
4. Automated Practical Reasoning :
Author: edited by Jochen Pfalzgraf, Dongming Wang.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
Classification :
QA76
.
9
.
A96
E358
1995
5. Automated deduction in geometry
Author: / Xiao-Shan Gao, Dongming Wang, Lu Yang (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Geometry--Data processing--Congresses,Automatic theorem proving--Congresses,Logic, Symbolic and mathematical--Congresses
Classification :
QA
,
448
,.
D38
,
I577
,
1998
6. Automated deduction in geometry
Author: / Hoon Hong, Dongming Wang (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Geometry--Data processing--Congresses,Automatic theorem proving--Congresses,Logic, Symbolic and mathematical--Congresses
Classification :
QA
,
448
,.
D38
,
I577
,
2004
7. Automated deduction in geometry : International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996 : selected papers
Author: Dongming Wang )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Data processing -- Congresses ، Geometry,Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
1360
8. Automated deduction in geometry : Second International Workshop, ADG'98, Beijing, China, August 1998 : proceedings
Author: Xiao-Shan Gao, Dongming Wang, Lu Yang )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Data processing -- Congresses ، Geometry,Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
1669
9. Automated deduction in geometry : 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004 : revised papers
Author: Hoon Hong, Dongming Wang )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Data processing -- Congresses ، Geometry,Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
3763
10. Automated deduction in geometry: 5th international workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004 : revised papers
Author: Hoon Hong, Dongming Wang )eds.(
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: Congresses ، Geometry - Data processing,Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
448
.
D38
I577
2004
11. Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers
Author: Jurgen Richter-Gebert, Dongming Wang, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Data processing -- Congresses ، Geometry,Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
2061
12. Developments in strategic ceramic materials :
Author: editors: Waltraud M. Kriven, Jingyang Wang, Dongming Zhu, Thomas Fischer ; volume editors: Jingyang Wang, Soshu Kirihara
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Ceramic materials, Congresses.
Classification :
TA455
.
C43
13. Differential equations with symbolic computation
Author: / Dongming Wang, Zhiming Zheng, editors
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Differential equations,Differential equations, Partial,Algorithms
Classification :
QA372
.
D536
2005
14. Differential equations with symbolic computations
Author: / Dongming Wang, Zhiming Zheng, editors
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Differential equations,Differential equations, Partial,Algorithms
Classification :
E-BOOK
15. Elimination practic
Author: / Dongming Wang
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Elimination.,Polynomials.,Algebra--Data processing,Computer algorithms.,Differential equations, Nonlinear.
Classification :
QA
,
192
,.
W362
,
2004eb
16. Geometric Computation
Author: \ editors Falai Chen, Dongming Wang.
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Geometry -- Data processing.,Geometry -- Computer programs.,هندسه -- دادهپردازی ,هندسه -- برنامه های کامپیوتری
Classification :
E-Book
,
17. Geometric Computation
Author: / Falai Chen,Dongming Wang
Library: Central Library and Document Center of Arak University (Markazi)
Subject: Geometry- data Processing-congresses,Geometry-computer procesing-congresses
Classification :
512
.
152
C518g
18. Geometric computatio
Author: / editors Falai Chen, Dongming Wang
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Geometry--Data processing,Geometry--Computer programs
Classification :
QA
,
448
,.
D38
,
G445
,
2004eb
19. Geometric computation /
Author: editors Falai Chen, Dongming Wang.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Geometry-- Computer programs.,Geometry-- Data processing.,Géométrie-- Informatique.,Géométrie-- Logiciels.,Geometry-- Computer programs.,Geometry-- Data processing.,MATHEMATICS-- Number Theory.
Classification :
QA448
.
D38
G464
2004eb
20. Geometric computation
Author: editors Falai Chen, Dongming Wang
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: Data processing ، Geometry,Computer programs ، Geometry
Classification :
QA
448
.
D38
G445
